Formal Approach for the Coherence Control of SMIL Documents

نویسندگان

  • S. Mazouz
  • D. Dahmani
  • L. Kaddouri
چکیده

This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The question addressed by this paper is whether SMIL documents can be easily modelled by TPN model. For this purpose, we show how to translate a specification of a given document SMIL into a TPN. We have extended the TPN model with component concept which is the building block in the translation procedure. The reachability analysis of TPN allows to verify the consistency proprieties of a document. Furthermore, our model can be used to define scheduling policies.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards a Formal Approach for Modelling SMIL Documents

We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism...

متن کامل

Using a Formal Method to Verify the Temporal Semantics of SMIL Documents

Several works have been dedicated to the authoring and presentation of interactive multimedia applications to be distributed over the web, but few of them address semantic verification issues of these documents. This paper presents a formal approach for the design and semantic verification of SMIL documents which relies on the classical reachability analysis performed on RT-LOTOS specifications...

متن کامل

An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents

— The flexibility of high level authoring models (such as SMIL 2.0) for the edition of complex Interactive Multimedia Documents can lead authors, in certain cases, to specify synchronization relations which could not be satisfied during the presentation of the document, thus characterizing the occurrence of temporal inconsistencies. For this reason, we need to apply a methodology which provides...

متن کامل

About the Semantic Verification of SMIL Documents

This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS specifications provides the verification of consistency properties of a document and, later on, it also enables the generation of a valid scheduling graph for its presentation. This graph characterizes the reference behavi...

متن کامل

Modeling and Analyzing SMIL Documents in SAM

A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaining the time-ordered relations among the component media is vital to satisfying quality of service (QoS) requirements. This paper proposes a formal approach to modeling and analyzing temporal aspects of SMIL documents us...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IJCSA

دوره 3  شماره 

صفحات  -

تاریخ انتشار 2006